import argparse, yaml

def run(task):
    if task['verifier'] in ['apkeep', 'ddm']:
        pass

if __name__ == '__main__':
    for i in range(6016):
        for j in range(5376):
            pass
            # for k in range(6016):
            #     pass
    exit(0)
    parser = argparse.ArgumentParser(description='The evaluation script')
    parser.add_argument('task', help='the task file')
    args = parser.parse_args()
    tasks = yaml.safe_load(open(args.task).read())
    print(tasks)
    for task in tasks.values():
        run(task)